Total Books: 1 - 1 /1
Automated Deduction in Geometry
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Lire la suite
Total Books: 1 - 1 /1
